Enumerating fuzzy switching functions and free kleene algebras
نویسندگان
چکیده
منابع مشابه
Kleene and Stone Algebras
Boolean algebras are affine complete by a well-known result of G. Grätzer. Various generalizations of this result have been obtained. Among them, a characterization of affine complete Stone algebras having a smallest dense element was given by R. Beazer. In this paper, generalizations of Beazer’s result are presented for algebras abstracting simultaneously Kleene and Stone algebras.
متن کاملA Free Construction of Kleene Algebras with Tests
In this paper we define Kleene algebra with tests in a slightly more general way than Kozen’s definition. Then we give an explicit construction of the free Kleene algebra with tests generated by a pair of sets. Moreover we show that our free Kleene algebra with tests is isomorphic to Kozen and Smith’s Kleene algebra with tests if their construction available, that is, a generator of the Boolean...
متن کاملResiduated Kleene Algebras
We show that there is no finitely axiomatizable class of algebras that would serve as an analogue to Kozen’s class of Kleene algebras if we include the residuals of composition in the similarity type of relation algebras.
متن کامل*-Continuous Kleene $\omega$-Algebras
We define and study basic properties of ∗-continuous Kleene ω-algebras that involve a ∗-continuous Kleene algebra with a ∗-continuous action on a semimodule and an infinite product operation that is also ∗-continuous. We show that ∗-continuous Kleene ω-algebras give rise to iteration semiring-semimodule pairs. We show how our work can be applied to solve certain energy problems for hybrid systems.
متن کاملStone-Kleene Relation Algebras
We develop Stone-Kleene relation algebras, which expand Stone relation algebras with a Kleene star operation to describe reachability in graphs. We show that finite matrices over extended real numbers form an instance. These theories are being prepared for the Archive of Formal Proofs. Further documentation will be added.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computers & Mathematics with Applications
سال: 1984
ISSN: 0898-1221
DOI: 10.1016/0898-1221(84)90083-x